121. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
پدیدآورنده : / Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
122. Ant Colony Optimization and Constraint Programming
پدیدآورنده : / Solnon
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
123. Application Development Systems :
پدیدآورنده : edited by Tosiyasu L. Kunii.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided design.,Engineering.,Physics.
رده :
QA76
.
9
.
S88
E358
1986
124. Applications and Theory of Petri Nets :
پدیدآورنده : edited by Anastasia Pagnoni, Grzegorz Rozenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
رده :
QA267
.
E358
1983
125. Applications of Declarative Programming and Knowledge Management
پدیدآورنده : / Salvador Abreu, Dietmar Seipel
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
126. Applications of Declarative Programming and Knowledge Management
پدیدآورنده : / hrer, Dietmar Seipel, Masanobu Umeda, Armin Wolfیrg PنHans Tompits, Salvador Abreu, Johannes Oetsch, J
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
127. Applications of computing and communication technologies :
پدیدآورنده : Ganesh Chandra Deka, Omprakash Kaiwartya, Pooja Vashisth, Priyanka Rathee (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Artificial Intelligence.,Computer Appl. in Social and Behavioral Sciences.,Computer Communication Networks.,Information Systems Applications (incl. Internet).,Software Engineering/Programming and Operating Systems.,System Performance and Evaluation.,Artificial intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Hardware-- Handheld Devices.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Information retrieval.,Network hardware.,Society & social sciences.,Software Engineering.,Systems analysis & design.
رده :
QA75
.
5
128. Applied Evolutionary Algorithms in Java
پدیدآورنده : by Robert Ghanea-Hercock.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Electronic data processing.
129. Applied computer sciences in engineering :
پدیدآورنده : edited by Juan Carlos Figueroa-García, Eduyn Ramiro López-Santana, José Ignacio Rodriguez-Molano (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Engineering-- Data processing, Congresses.,Artificial Intelligence.,Computer Engineering.,Computers and Education.,Software Engineering/Programming and Operating Systems.,Computer science.,Computer science.,Computers-- Computer Engineering.,Computers-- Computer Science.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (Calif.),Engineering-- Data processing.,Program concepts-- learning to program.,Software Engineering.
رده :
QA75
.
5
130. Applied integer programming
پدیدآورنده : / Der-San Chen, Robert G. Batson, Yu Dang
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integer programming
رده :
T57
.
74
.
C454
2010
131. Applied integer programming :
پدیدآورنده : Der-San Chen, Robert G. Batson, Yu Dang.
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Integer programming.
رده :
T57
.
74
.
C454
2010
132. Approaches and Applications of Inductive Programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
133. Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
پدیدآورنده : / Neil Mitchell (auth.), Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
134. Approaches and applications of inductive programming
پدیدآورنده : Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Functional programming (Computer science), Congresses
رده :
QA
،
76
.
62
،.
A69
،
2010
135. Approaches and applications of inductive programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
A25
2010
136. Approximate Dynamic Programming: Solving the Curses of Dimensionality, Second Edition
پدیدآورنده : / Powell
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
137. Approximation Algorithms and Semidefinite Programming
پدیدآورنده : / rtner, Jiri Matousek (auth.)عBernd G
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
138. April 3, 2011. Proceedingsع۰بcken, Germany, March 26Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr
پدیدآورنده : / Andrew W. Appel (auth.), Gilles Barthe (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
139. Arduino Sketches: Tools and Techniques for Programming Wizardry
پدیدآورنده : / Langbridge
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ELECTRONIC|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
140. Art of Computer Programming. Volume 4a: Combinatorial Algorithms, Part 1
پدیدآورنده : / Donald E. Knuth
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
